Utting, Mark : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (27)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Oxford, United Kingdom (2020.8.3-2020.8.6)] 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Identifying and Generating Missing Tests using Machine Learning on Execution Traces

Utting, Mark, Legeard, Bruno, Dadeau, Frederic, Tamagnan, Frederic, Bouquet, Fabrice

Année:

2020

Fichier:

PDF, 205 KB

2020

2

A taxonomy of model-based testing approaches

Mark Utting, Alexander Pretschner, Bruno Legeard

Journal:

Software Testing, Verification and Reliability

Année:

2012

Langue:

english

Fichier:

PDF, 929 KB

english, 2012

3

A multi-national, multi-institutional study of assessment of programming skills of first-year CS students

McCracken, Michael, Wilusz, Tadeusz, Almstrum, Vicki, Diaz, Danny, Guzdial, Mark, Hagan, Dianne, Kolikant, Yifat Ben-David, Laxer, Cary, Thomas, Lynda, Utting, Ian

Journal:

ACM SIGCSE Bulletin

Année:

2001

Langue:

english

Fichier:

PDF, 1.90 MB

english, 2001

4

Understanding and optimizing the amplitude modulated control for multiple-slice continuous arterial spin labeling

Jane F. Utting, David L. Thomas, David G. Gadian, Robert W. Helliar, Mark F. Lythgoe, Roger J. Ordidge

Journal:

Magnetic Resonance in Medicine

Année:

2005

Langue:

english

Fichier:

PDF, 427 KB

english, 2005

5

Teaching formal methods lite via testing

Mark Utting, Steve Reeves

Journal:

Software Testing, Verification and Reliability

Année:

2001

Langue:

english

Fichier:

PDF, 166 KB

english, 2001

6

Controlling test case explosion in test generation from B formal models

Bruno Legeard, Fabien Peureux, Mark Utting

Journal:

Software Testing, Verification and Reliability

Année:

2004

Langue:

english

Fichier:

PDF, 229 KB

english, 2004

7

A sequential real-time refinement calculus

Ian J. Hayes, Mark Utting

Journal:

Acta Informatica

Année:

2001

Langue:

english

Fichier:

PDF, 341 KB

english, 2001

8

Significance of mangrove–mudflat boundaries as nursery grounds for the mud crab,Scylla paramamosain

Mark E. Walton, Lewis Le Vay, Le Minh Truong, Vu Ngoc Ut

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 335 KB

english, 2006

9

Comparative performance of hatchery-reared and wild Scylla paramamosain (Estampador, 1949) in pond culture

Vu Ngoc Ut, Lewis Le Vay, Truong Trong Nghia, Mark Walton

Journal:

Aquaculture Research

Année:

2007

Langue:

english

Fichier:

PDF, 130 KB

english, 2007

10

The JStar language philosophy

Utting, Mark, Weng, Min-Hsien, Cleary, John G.

Journal:

Parallel Computing

Année:

2014

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2014

11

Table of Contents

Utting, Mark, Weng, Min-Hsien, Cleary, John G.

Journal:

Advances in Chronic Kidney Disease

Année:

2007

Langue:

english

Fichier:

PDF, 99 KB

english, 2007

12

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation

Aydal, Emine G., Paige, Richard F., Utting, Mark, Woodcock, Jim

Année:

2009

Langue:

english

Fichier:

PDF, 379 KB

english, 2009

13

[IEEE 2013 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG) - San Francisco, CA, USA (2013.05.18-2013.05.18)] 2013 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG) - MODAM: A modular agent-based modelling framework

Boulaire, Fanny, Utting, Mark, Drogemuller, Robin

Année:

2013

Langue:

english

Fichier:

PDF, 702 KB

english, 2013

14

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Jumble Java Byte Code to Measure the Effectiveness of Unit Tests

Irvine, Sean A., Tin Pavlinic,, Trigg, Leonard, Cleary, John G., Inglis, Stuart, Utting, Mark

Année:

2007

Langue:

english

Fichier:

PDF, 398 KB

english, 2007

15

[IEEE 2012 Winter Simulation Conference - (WSC 2012) - Berlin, Germany (2012.12.9-2012.12.12)] Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC) - A hybrid simulation framework to assess the impact of renewable generators on a distribution network

Boulaire, Fanny, Utting, Mark, Drogemuller, Robin, Ledwich, Gerard, Ziari, Iman

Année:

2012

Langue:

english

Fichier:

PDF, 936 KB

english, 2012

16

Approaches to Stock Enhancement in Mangrove-Associated Crab Fisheries

Le Vay, Lewis, Lebata, Ma Junemie Hazel, Walton, Mark, Primavera, Jurgenne, Quinitio, Emilia, Lavilla-Pitogo, Celia, Parado-Estepa, Fe, Rodriguez, Eduard, Ut, Vu Ngoc, Nghia, Truong Trong, Sorgeloos,

Journal:

Reviews in Fisheries Science

Année:

2008

Langue:

english

Fichier:

PDF, 269 KB

english, 2008

17

Dynamic agent composition for large-scale agent-based models

Boulaire, Fanny, Utting, Mark, Drogemuller, Robin

Journal:

Complex Adaptive Systems Modeling

Année:

2015

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2015

18

Impact of technology uptake on an Australian electricity distribution network

Boulaire, Fanny, Utting, Mark, Drogemuller, Robin

Journal:

Environmental Modelling & Software

Année:

2015

Langue:

english

Fichier:

PDF, 3.54 MB

english, 2015

19

[ACM Press the 2013 International Workshop - Shenzhen, Guangdong, China (2013.02.23-2013.02.23)] Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM '13 - The JStar language philosophy

Utting, Mark, Weng, Min-Hsien, Cleary, John G.

Année:

2013

Langue:

english

Fichier:

PDF, 430 KB

english, 2013

20

[ACM Press Working group reports from ITiCSE - Canterbury, UK (2001.12.01-..)] Working group reports from ITiCSE on Innovation and technology in computer science education - ITiCSE-WGR '01 - A multi-national, multi-institutional study of assessment of programming skills of first-year CS students

McCracken, Michael, Wilusz, Tadeusz, Almstrum, Vicki, Diaz, Danny, Guzdial, Mark, Hagan, Dianne, Kolikant, Yifat Ben-David, Laxer, Cary, Thomas, Lynda, Utting, Ian

Année:

2001

Langue:

english

Fichier:

PDF, 1.90 MB

english, 2001

21

[Advances in Computers] || Recent Advances in Model-Based Testing

Année:

2016

Langue:

english

Fichier:

PDF, 5.68 MB

english, 2016

22

Bound Analysis for Whiley Programs

Weng, Min-Hsien, Utting, Mark, Pfahringer, Bernhard

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2016

Langue:

english

Fichier:

PDF, 212 KB

english, 2016

23

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Jumble Java Byte Code to Measure the Effectiveness of Unit Tests

Irvine, Sean A., Pavlinic, Tin, Trigg, Leonard, Cleary, John G., Inglis, Stuart, Utting, Mark

Année:

2007

Langue:

english

Fichier:

PDF, 398 KB

english, 2007

24

SPIE Proceedings [SPIE Visual Communications and Image Processing '96 - Orlando, FL (Sunday 17 March 1996)] Visual Communications and Image Processing '96 - Subpixel motion estimation in DCT domain

Koc, Ut-Va, Liu, Kuo Juey R., Ansari, Rashid, Smith, Mark J. T.

Année:

1996

Langue:

english

Fichier:

PDF, 604 KB

english, 1996

25

Evolving Web-Based Test Automation into Agile Business Specifications

Mugridge, Rick, Utting, Mark, Streader, David

Journal:

Future Internet

Année:

2011

Langue:

english

Fichier:

PDF, 345 KB

english, 2011

26

[ACM Press the Australasian Computer Science Week Multiconference - Geelong, Australia (2017.01.31-2017.02.03)] Proceedings of the Australasian Computer Science Week Multiconference on - ACSW '17 - Static techniques for reducing memory usage in the C implementation of whiley programs

Weng, Min-Hsien, Pfahringer, Bernhard, Utting, Mark

Année:

2017

Langue:

english

Fichier:

PDF, 312 KB

english, 2017

27

[IEEE 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - Tool Support for Refactoring Manual Tests

BERNARD, Elodie, BOTELLA, Julien, AMBERT, Fabrice, LEGEARD, Bruno, UTTING, Mark

Année:

2020

Fichier:

PDF, 772 KB

2020